Unity of the proposition